RepUR ``p{-}id p{-}compose do{-}apply can{-}apply`` ( 0)$\cdot$